1. Optimization methods for logical inference
پدیدآورنده : Vijay Chandru, John Hooker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Combinatorial optimization,Logic, Symbolic and mathematical
رده :
QA
402
.
5
.
C44
1999